منابع مشابه
Inférence semi-automatique et interactive de règles sans vérité terrain
Dealing with non annotated documents for the design of a document recognition system is not an easy task. In general, statistical methods cannot learn without an annotated ground truth, unlike syntactical methods. However their ability to deal with non annotated data comes from the fact that the description is manually made by a user. The adaptation to a new kind of document is then tedious as ...
متن کاملIntroduction à Unicode et à l'ISO 10646
This article presents a concise overview of Unicode 3.2 and its ISO equivalent, ISO/IEC 10646. It introduces and summarizes the main features and design principles before examining the character encoding model, normalizations forms and common processes such as sorting and rendering and their relationship with Unicode. MOTS-CLÉS : Unicode, ISO/CEI 10646, formes normalisées, modèle de caractères,...
متن کاملautofiction doubrovskienne ou fiction au service de la vérité autobiographique?
la problématique de l’autofiction qui domine la sphère de la littérature française contemporaine vient d’une part de la difficulté des critiques de se mettre d’accord sur une définition et d’autre part de la divergence dans les pratiques des autofictionneurs. alors que serge doubrovsky exige un pacte référentiel, d’autres comme vincent colonna et gérard genette demandent un pacte de lecture fic...
متن کاملContribution à l’Etude et à la Conception d’Agents Virtuels . . .
In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents (―buyer‖ or ―seller‖). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows: the tim...
متن کاملConception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML
One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophiques
سال: 2013
ISSN: 1492-1391,0316-2923
DOI: 10.7202/1018377ar